Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Nature 2023 Utgivningsland okänt / Ej specificerat